form removing

См. также в других словарях:

• Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… …   Wikipedia

• Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… …   Wikipedia

• Re|form — «rih FRM», verb, noun, adjective. –v.t. 1. to make better: »Some prisons try to reform criminals instead of just punishing them. 2. to improve by removing faults or abuses: »to reform a city administration. 3. to crack and refine (petroleum or… …   Useful english dictionary

• re|form — «rih FRM», verb, noun, adjective. –v.t. 1. to make better: »Some prisons try to reform criminals instead of just punishing them. 2. to improve by removing faults or abuses: »to reform a city administration. 3. to crack and refine (petroleum or… …   Useful english dictionary

• Chomsky normal form — In computer science, a context free grammar is said to be in Chomsky normal form if all of its production rules are of the form: or or where A, B and C are nonterminal symbols, α is a terminal symbol (a symbol that represents a constant value), S …   Wikipedia

• Case report form — A Case Report Form (or CRF) is a paper or electronic questionnaire specifically used in clinical trial research. The Case Report Form is the tool used by the sponsor of the clinical trial to collect data from each participating site. All data on… …   Wikipedia

• short form — noun a) A word with the same meaning as another formed by removing one or more of the syllables of the longer word, and considered a word in its own right rather than an abbreviation. Tux is a short form of tuxedo . b) Particularly in Slavonic… …   Wiktionary

• back-form — 1. noun A back formation; a word formed by removing a perceived morpheme from an older word. 2. verb To form a word by a back formation process …   Wiktionary

• 2005 English cricket season (1-14 May) — See also: 2005 English cricket season The period of the 2005 English cricket season between 1 and 14 May started with one day games played on the 1 and 2 May. Middlesex established themselves at the top of Division One after winning their first… …   Wikipedia

• 2005 English cricket season (1–14 May) — See also: 2005 English cricket season The period of the 2005 English cricket season between 1 and 14 May started with one day games played on 1 and 2 May. Middlesex established themselves at the top of Division One after winning their first three …   Wikipedia

• Somerset County Cricket Club in 2005 — Match detailsomerset v Durham UCCE (9 11 April) Match drawn At Taunton, the first day of the season for these two teams made up Somerset s first innings. In 105 overs Somerset made a mammoth 580 for 5 declared. Ian Blackwell contributed 191, John …   Wikipedia